// { dg-module-do link }
// { dg-additional-options "-fmodules-ts" }

import bla;

void oops() {}

int main() {
  fun();
}
